-
1 непосредственный вывод
1) Mathematics: direct inference, immediate conclusion, straightforward deduction2) Information technology: direct derivation, immediate inference, immediate reasoningУниверсальный русско-английский словарь > непосредственный вывод
-
2 непосредственный вывод
direct inference мат., immediate conclusion, straightforward deductionРусско-английский научно-технический словарь Масловского > непосредственный вывод
-
3 очевидный
evident, clear, obvious, apparent, manifest, trivial, compelling• В данном случае значение переменной Q не имеет какого-либо элементарного или очевидного объяснения. - In this case the quantity Q has no elementary or obvious meaning.• Вскоре стало очевидным, что... - It soon became obvious that...• Данный очевидный парадокс исчезает, когда мы приходим к пониманию (чего-л)... - This apparent paradox disappears when we realize that...• Для... можно разработать достаточно очевидные численные процедуры. - Straightforward numerical procedures can be devised for...• Его более глубокое значение становится очевидным, когда... - Its deeper significance will become apparent when...• За исключением специальных простых случаев, во всех остальных (случаях) не является очевидным, действительно ли... - Except in certain simple cases it will not be obvious whether...• Из этого уравнения очевидным образом следует, что... - It is evident from this equation that...• Имеется очевидная необходимость в том, чтобы рассмотреть... - There is an obvious need to consider...• Между... и... существует очевидная аналогия. - There is an obvious analogy between... and...• Мы заключаем (наше рассмотрение), делая несколько достаточно очевидных, но необходимых замечаний (относительно)... - We conclude by making some rather obvious but necessary remarks on...• Не сразу стало очевидным... - It was not apparent immediately that...• Не является заранее очевидным (факт), что... - It is not obvious a priori that...• He является очевидным то, что... - It is not obvious that...• Необходимость условия очевидна. Итак, докажем его достаточность. - The condition is clearly necessary, so we prove sufficiency.• Однако ситуация не всегда так очевидна, как эта. - Things are not always as obvious as this, however.• Очевидная аномалия объясняется (чем-л). - This apparent anomaly is explained by...• Очевидной интерпретацией данного результата является... - The straightforward interpretation of this result is...• Очевидный способ - это потребовать, чтобы... - The obvious course is to demand that...• Очевидным следствием соотношения (1) является формула... - An obvious deduction from (1) is the formula...• Очевидным способом сделать это является... - The obvious way of doing this is to...• Очевидным средством исправить ситуацию здесь является... - The obvious remedy is to...• Следующим очевидным шагом является... - The next obvious step is to...• Такой ответ мог бы показаться очевидным, так как... - Однако оказалось, что... - The answer may appear to be obvious since.... It will turn out, however, that...• Теперь становится очевидным, что... -It should be evident now that... '• Читатель может считать очевидным, что... - The reader may consider it as obvious that...• Эти мысли могли бы показаться довольно очевидными, однако... - These ideas might seem rather obvious, but...• Эти результаты можно очевидным образом обобщить (на случай и т. п.)... - These results can be extended in an obvious way to...• Это свойство является почти очевидным как следствие того факта, что... - This property is almost evident from the fact that...• Этот компенсирующий эффект особенно очевиден, когда... - This compensating effect is most obvious when...• Этот метод вполне очевиден. - This procedure is quite straightforward.
См. также в других словарях:
Pierre Duhem — Full name Pierre Duhem Born 9 June 1861 Paris, France Died 14 September 1916 Cabrespine, France Era … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Sherlock Holmes — Infobox character colour = #DEDEE2 name = Sherlock Holmes caption = A portrait of Sherlock Holmes by Sidney Paget from the Strand Magazine , 1891 first = last = cause = creator = Sir Arthur Conan Doyle portrayer = episode = Four novelsFifty six… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… … History of philosophy
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
Fichte and Schilling: the Jena period — Daniel Breazeale FROM KANT TO FICHTE An observer of the German philosophical landscape of the 1790s would have surveyed a complex and confusing scene, in which individuals tended to align themselves with particular factions or “schools,”… … History of philosophy
